ARCH:=aarch32
drivers:=pl011_uart arch_timer
